perm filename ATC.UNF[MRS,LSP]12 blob
sn#692488 filedate 1982-12-20 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) ATC LSP))
'(ASSEMBLED BY FASLAP /392)
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117)
;COMPILED ON DECEMBER 20, 1982, AT 9:05 PM
;Loading DEFSTRUCT 280
'↑↓-TERM
'LT-QUANTIFIER
'ROLELINK
'PFC-FORMULA
'ROLEXENTRY
'LT-λ-EXPR
'LT-λ-PREFIX
'PATHKEYLIST
(COMMENT **FASL** 0. (LAP |ANTECEDENT MACRO| SUBR))
(COMMENT **FASL** 33. (LAP |CONSEQUENT MACRO| SUBR))
(COMMENT **FASL** 66. (LAP |CONSP MACRO| SUBR))
(COMMENT **FASL** 95. (LAP |*DEFUN MACRO| SUBR))
(COMMENT **FASL** 276. (LAP ISA-PATT-VARIABLE? SUBR))
(COMMENT **FASL** 303. (LAP |E:DO MACRO| SUBR))
(COMMENT **FASL** 331. (LAP |E:VAR MACRO| SUBR))
(COMMENT **FASL** 363. (LAP E:SETLINE SUBR))
(COMMENT **FASL** 402. (LAP |ADDCONC MACRO| SUBR))
(COMMENT **FASL** 440. (LAP |ENDCONC MACRO| SUBR))
(COMMENT **FASL** 489. (LAP |ENDADD MACRO| SUBR))
(COMMENT **FASL** 544. (LAP |RASSQ MACRO| SUBR))
(COMMENT **FASL** 593. (LAP |EDITXDO MACRO| SUBR))
(COMMENT **FASL** 647. (LAP |EDITDO MACRO| SUBR))
(COMMENT **FASL** 685. (LAP |COPYLIST MACRO| SUBR))
(COMMENT **FASL** 711. (LAP |BUTLAST MACRO| SUBR))
(COMMENT **FASL** 742. (LAP |REPEAT MACRO| SUBR))
(COMMENT **FASL** 782. (LAP |SETF* MACRO| SUBR))
(COMMENT **FASL** 818. (LAP |SOME MACRO| SUBR))
(COMMENT **FASL** 883. (LAP |ALL MACRO| SUBR))
(COMMENT **FASL** 951. (LAP |SUBSET MACRO| SUBR))
(COMMENT **FASL** 1001. (LAP GOOD-NREVERSE SUBR))
(COMMENT **FASL** 1058. (LAP NSUBLIS SUBR))
(COMMENT **FASL** 1118. (LAP |HUNKQUANTP MACRO| SUBR))
(COMMENT **FASL** 1153. (LAP QNSUBLIS SUBR))
(COMMENT **FASL** 1288. (LAP |WRITE MACRO| SUBR))
(COMMENT **FASL** 1374. (LAP SPACES SUBR))
(COMMENT **FASL** 1385. (LAP LINTYPE SUBR))
(COMMENT **FASL** 1588. (LAP E-LIN SUBR))
(COMMENT **FASL** 1589. (LAP E-LIN-C SUBR))
(COMMENT **FASL** 1593. (LAP ENCODE-LINFORMULA SUBR))
(COMMENT **FASL** 1603. (LAP ENCODE-LINFORMULA-S SUBR))
(COMMENT **FASL** 1886. (LAP TRANSFORM-ROLELINKS SUBR))
(COMMENT **FASL** 2017. (LAP ENCODE-QUANT SUBR))
(COMMENT **FASL** 2217. (LAP VARIABLE-RANGE SUBR))
(COMMENT **FASL** 2260. (LAP GETFORMULA SUBR))
(COMMENT **FASL** 2287. (LAP |ATC-GET MACRO| SUBR))
(COMMENT **FASL** 2347. (LAP |ATC-PLIST MACRO| SUBR))
(COMMENT **FASL** 2426. (LAP Q-KERNEL SUBR))
(COMMENT **FASL** 2441. (LAP Q-KERNEL-LT-TYPE SUBR))
(COMMENT **FASL** 2443. (LAP LT-TYPE SUBR))
(COMMENT **FASL** 2654. (LAP LT-TYPE* SUBR))
(COMMENT **** (CURRENTPOS NIL)
Binding number variable to NIL may be a bug in function DISPLAY)
(COMMENT **FASL** 2840. (LAP DISPLAY LSUBR))
(COMMENT **FASL** 2864. (LAP DPYLIST SUBR))
(COMMENT **FASL** 2881. (LAP VNSUBLIS SUBR))
(COMMENT **FASL** 2908. (LAP GENVAR LSUBR))
(COMMENT **FASL** 3041. (LAP MAKE-QVLIST SUBR))
(COMMENT **FASL** 3234. (LAP |Z-BASE-EQUIV MACRO| SUBR))
(COMMENT **FASL** 3266. (LAP DPYLIST-S SUBR))
(COMMENT **FASL** 4019. (LAP TCONC SUBR))
(COMMENT **FASL** 4050. (LAP LCONC SUBR))
(COMMENT **FASL** 4088. (LAP TERMSORT SUBR))
(COMMENT **FASL** 4196. (LAP NORMALIZE-TERMSORTEXPR SUBR))
(COMMENT **FASL** 4233. (LAP |PRINCLIST MACRO| SUBR))
(COMMENT **FASL** 4260. (LAP |NEXTITEMSIZE MACRO| SUBR))
(COMMENT **FASL** 4288. (LAP |PRINITEMS MACRO| SUBR))
(COMMENT **FASL** 4352. (LAP |SPACELEFT MACRO| SUBR))
(COMMENT **FASL** 4361. (LAP STRAIGHTPRIN SUBR))
(COMMENT **FASL** 4613. (LAP PRINQUANT SUBR))
(COMMENT **FASL** 4883. (LAP PRINλ-EXPR SUBR))
(COMMENT **FASL** 4934. (LAP TAB SUBR))
(COMMENT **FASL** 4964. (LAP CURRENTPOS LSUBR))
'LINK-NODE
'LEAF-NODE
'LTCC-PLIST
(COMMENT **FASL** 4980. (LAP NRML-ANL-YZE-LINFORMULA LSUBR))
(COMMENT **FASL** 5010. (LAP |NRML-FORMULA MACRO| SUBR))
(COMMENT **FASL** 5039. (LAP |NRML-ANL-YZE MACRO| SUBR))
(COMMENT **FASL** 5092. (LAP |LT-CONCEPT-TYPE MACRO| SUBR))
(COMMENT **FASL** 5143. (LAP |LEAF-UNIT MACRO| SUBR))
(COMMENT **FASL** 5168. (LAP NORMALIZE-CMPD-CONCEPT LSUBR))
(COMMENT **FASL** 5259. (LAP INITIALIZE-CMPD-CONCEPT SUBR))
(COMMENT **FASL** 5332. (LAP |CONCEPT-BODY MACRO| SUBR))
(COMMENT **FASL** 5375. (LAP |PREVIOUS-LETTER MACRO| SUBR))
(COMMENT **FASL** 5408. (LAP ORDER-CNCPTS SUBR))
(COMMENT **FASL** 5413. (LAP PRECEDES-CNCPT SUBR))
(COMMENT **FASL** 5710. (LAP |GET-PKL-POSITION MACRO| SUBR))
(COMMENT **FASL** 5781. (LAP NORMRAISE-CC LSUBR))
(COMMENT **FASL** 6284. (LAP QV-QUASI-UNSUBST LSUBR))
(COMMENT **FASL** 6583. (LAP ANALYZE-CMPD-CONCEPT LSUBR))
(COMMENT **FASL** 8569. (LAP NACC LSUBR))
(COMMENT **FASL** 8611. (LAP ANALYZE-ROLEMERGE SUBR))
(COMMENT **FASL** 8808. (LAP ATOM-CONVERTIBLE SUBR))
(COMMENT **FASL** 8858. (LAP ADJUST-λ-TERMSORT SUBR))
(COMMENT **FASL** 8893. (LAP COMMON-SUBSORT* SUBR))
(COMMENT **FASL** 8937. (LAP SUPERSORT* SUBR))
(COMMENT **FASL** 9074. (LAP PATHKEY-SORT SUBR))
(COMMENT **FASL** 9216. (LAP GET-ROLELINK SUBR))
(COMMENT **FASL** 9249. (LAP |ALPHA-NTH MACRO| SUBR))
(COMMENT **FASL** 9294. (LAP TERM-SUBRANCH SUBR))
(COMMENT **FASL** 9376. (LAP COPYALLCONS SUBR))
(COMMENT **FASL** 9392. (LAP COPY-1-1-PKLS SUBR))
(COMMENT **FASL** 9429. (LAP LT-COPYALL SUBR))
(COMMENT **FASL** 9437. (LAP LT-SUBST SUBR))
(COMMENT **FASL** 9448. (LAP LT-SUBST* SUBR))
(COMMENT **FASL** 9689. (LAP SELECT&SHORTEN SUBR))
(COMMENT **FASL** 9754. (LAP |[MRS,LSP]ATC.LSP←1.| SUBR))
(COMMENT **FASL** 9759. (LAP ORDER-PATHKEYLISTS SUBR))
(COMMENT **FASL** 9761. (LAP COMPARE-ARGS SUBR))
(COMMENT **FASL** 10026. (LAP CA-PUNT SUBR))
(COMMENT **FASL** 10048. (LAP COMPARE-PFC-FORMULAS SUBR))
(COMMENT **FASL** 10138. (LAP COMPARE-VECTORS SUBR))
(COMMENT **FASL** 10186. (LAP |[MRS,LSP]ATC.LSP←2.| SUBR))
(COMMENT **FASL** 10206. (LAP ORDER-ROLELINKS SUBR))
(COMMENT **FASL** 10244. (LAP COMPARE-ROLEORDER SUBR))
(COMMENT **FASL** 10250. (LAP CULL-EQS SUBR))
(COMMENT **FASL** 10269. (LAP SOME-DUPLICATE-IK-ROLEMARKS SUBR))
(COMMENT **FASL** 10357. (LAP ANALYZE-INSTANTIATION SUBR))
(COMMENT **FASL** 10816. (LAP λ-UNSUBST LSUBR))
(COMMENT **FASL** 10931. (LAP λ-INST-KEY SUBR))
(COMMENT **FASL** 11002. (LAP RAISEATOM SUBR))
(COMMENT **FASL** 11051. (LAP GET-↑-MARKER SUBR))
(COMMENT **FASL** 11092. (LAP GET-↑-TALLY SUBR))
(COMMENT **FASL** 11205. (LAP LOWER-↑-ATOM SUBR))
(COMMENT **FASL** 11253. (LAP LOWER-λ-TERMSORTS SUBR))
(COMMENT **FASL** 11294. (LAP RAISE-λ-TERMSORTS SUBR))
(COMMENT **FASL** 11332. (LAP RAISE↑-TERM SUBR))
(COMMENT **FASL** 11369. (LAP KEYNUMBER SUBR))
(COMMENT **** (EXPRS-LENGTH NIL)
Binding number variable to NIL may be a bug in function POSPRINC)
(COMMENT **FASL** 11386. (LAP POSPRINC LSUBR))
(COMMENT **FASL** 11454. (LAP ANALYZE&EXPOUND LSUBR))
(COMMENT **FASL** 11754. (LAP A&E LSUBR))
(COMMENT **FASL** 11777. (LAP FIX-AL SUBR))
(COMMENT **FASL** 11844. (LAP EXPOUND-ANALYSIS-MODULE-2 SUBR))
(COMMENT **FASL** 12005. (LAP EXPLORE-DNET LSUBR))
(COMMENT **FASL** 12190. (LAP XPDN LSUBR))
(COMMENT **FASL** 12214. (LAP TRAVERSE-LINKS SUBR))
(COMMENT **FASL** 12453. (LAP DISPLAY-KEYPATH SUBR))
(COMMENT **FASL** 12573. (LAP DISPLAY-NODE SUBR))
(COMMENT **FASL** 12745. (LAP EXTEND-CURRENT-KEYPATH SUBR))
(COMMENT **FASL** 12811. (LAP SHORTEN-CURRENT-NODEPATH SUBR))
(COMMENT **FASL** 12980. (LAP COUNT-LINKS&LEAVES SUBR))
(COMMENT **** NUMBER
Using this numeric quantity in a predicate position in function PRINT-PROPERTIES)
(COMMENT **** (FIXP NUMBER)
Numeric predicate applied
to numeric type datum is a constant in function PRINT-PROPERTIES)
(COMMENT **FASL** 13055. (LAP PRINT-PROPERTIES SUBR))
'HELP-TABLE-ENTRY
(COMMENT **FASL** 13359. (LAP XPDN-HELP SUBR))
(COMMENT **FASL** 13469. (LAP LT-EVAL SUBR))
(COMMENT **FASL** 13610. (LAP WEAKEST-STATUS SUBR))
(COMMENT **FASL** 13629. (LAP SORT-MEMBER SUBR))
(COMMENT **FASL** 13642. (LAP SORT-EXCLUSIVE SUBR))
(COMMENT **FASL** 13713. (LAP LT-GROSSEVAL SUBR))
(COMMENT **** (π-PLIST π-GET π-YH-UNITP π-PUTPROP π-MAKE-UNIT EM:ECOMMANDS)
have been used but remain undefined in this file)
(COMMENT **FASL** TOTAL = 13731. WORDS)